These sources were used in compiling this doc:
Discover gists
mildsunrise
/ dump_vdso_data.c
Last active
May 11, 2024 06:35
dumps the data in the vdso_data VVAR (timekeeping info for gettimeofday vDSO)
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| // WARNING: only for x86 | |
| #include <stdlib.h> | |
| #include <stdio.h> | |
| #include <unistd.h> | |
| #include <fcntl.h> | |
| #include <string.h> | |
| #include <assert.h> | |
| #include <time.h> | |
| #include <sys/auxv.h> |
sweetlilmre
/ Build-nginx-with-modules-windows.md
Last active
May 11, 2024 06:33
Building nginx with addtional modules on Windows
gallais
/ Impredicative.v
Created
February 14, 2018 16:51
Using Impredicativity to beat the positivity checker
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Inductive T := | |
| | Var : nat -> T | |
| | App : T -> T -> T. | |
| Inductive S e : Prop := | |
| | def: forall R, (forall i, R i -> S i) -> | |
| (forall e', R e' -> S (App e e')) -> S e. | |
| Definition def' : | |
| forall e, (forall e', S e' -> S (App e e')) -> S e. |
EgoMoose
/ ViewportModel.lua
Last active
May 11, 2024 06:31
Lua class to calculate camera distance/cframe for fitting models into viewport frames
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| --[[ | |
| MIT License | |
| Copyright (c) 2021 EgoMoose | |
| Permission is hereby granted, free of charge, to any person obtaining a copy | |
| of this software and associated documentation files (the "Software"), to deal | |
| in the Software without restriction, including without limitation the rights | |
| to use, copy, modify, merge, publish, distribute, sublicense, and/or sell | |
| copies of the Software, and to permit persons to whom the Software is |
kodawah
/ mtgtycoon.js
Last active
May 11, 2024 06:30
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| javascript:(function() { | |
| var card = prompt("Card Name"); | |
| var sites = []; | |
| sites.push("https://www.cardkingdom.com/catalog/search?search=header&filter%5Bname%5D="); | |
| sites.push("https://store.channelfireball.com/products/search?q="); | |
| sites.push("https://www.coolstuffinc.com/main_search.php?pa=searchOnName&page=1&resultsPerPage=25&q="); | |
| sites.push("https://www.miniaturemarket.com/searchresults?q="); | |
| sites.push("https://www.starcitygames.com/results?name="); | |
| sites.push("https://shop.tcgplayer.com/productcatalog/product/show?IsProductNameExact=false&ProductName="); |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| /* | |
| * Intel ACPI Component Architecture | |
| * AML/ASL+ Disassembler version 20211217 (64-bit version) | |
| * Copyright (c) 2000 - 2021 Intel Corporation | |
| * | |
| * Disassembling to symbolic ASL+ operators | |
| * | |
| * Disassembly of dsdt.dat, Fri Apr 8 00:35:05 2022 | |
| * | |
| * Original Table Header: |
amanjuman
/ Install V2Ray Client on OpenWRT and Configure Vmess
Last active
May 11, 2024 06:28
Install V2Ray Client on OpenWRT and Configure Vmess
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| ### The original Author of this package had enabled CloudFlare JS verification. As a result, this automated script will not work. | |
| ### Therefore you have to download each package and install it manually. | |
| ## Change Directory | |
| cd /tmp/ | |
| ## Update opkg | |
| opkg update | |
| ## If wget not installed already |
kimgiftww
/ Activate_Windows_11_Pro_free.md
Created
January 3, 2022 02:21
— forked from Minionguyjpro/Activate_Windows_8_8.1_10_and_11_Pro_for_Free.md
Activate Windows 11 Pro free
An guide how to activate Windows 11 Pro for free
Because you will get some more features like an Bitlocker and host your device as an External Desktop which can be accessed through the internet
The answer is yes! You can switch from almost any edition to Pro completely for free!
People which already have Pro, but not activated, can skip to this step.
What you first need to do is open CMD (Command Prompt) as Administrator using this keyboard key:
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| // | |
| // _oo0oo_ | |
| // o8888888o | |
| // 88" . "88 | |
| // (| -_- |) | |
| // 0\ = /0 | |
| // ___/`---'\___ | |
| // .' \\| |// '. | |
| // / \\||| : |||// \ | |
| // / _||||| -:- |||||- \ |
NewerOlder